/* IE-specific css */

#header a.button { padding-top: 7px; padding-bottom: 7px; }

ul#tagbar { padding-top: 3px; }
#tagbar li a { padding-top: 4px; padding-bottom: 4px; }

#hud a { margin-right: 15px; margin-left: 15px; }
#hud a.disabled:hover { cursor: default; background-position: top center;}
